Rhénanie-du-Nord-Westphalie And NotBernhard Westfechtel
List of bibliographic references
Number of relevant bibliographic references: 32.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000148 | Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie] | Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis? |
| 001D45 | Mélanie Uth [Allemagne] | L’évolution diachronique des suffixes –ment et –(ai)son et la question de la correspondance vernaculaire de –(at)ion |
| 001D84 | Jean-Yves Marion [France] ; Thomas Schwentick [Allemagne, États-Unis] | Theoretical Aspects of Computer Science |
| 001E91 | Yves Rangoni [France] ; Abdet Belaïd [France] ; Szilárd Vajda [Allemagne] | Labelling logical structures of document images using a dynamic perceptive neural network |
| 002564 | R. Addou [France] ; A K Shukla [France] ; S. Alarcn Villaseca [France] ; Gaudry [France] ; Th Deniozou [France] ; M. Heggen [Allemagne] ; M. Feuerbacher [Allemagne] ; R. Widmer [Suisse] ; O. Grning [Suisse] ; V. Fourne [France] ; J-M Dubois [France] ; J. Ledieu [France] | Lead adsorption on the Al13Co4(100) surface: heterogeneous nucleation and pseudomorphic growth |
| 002647 | Carsten Fuhs [Allemagne] ; Jürgen Giesl [Allemagne] ; Michael Parting [Allemagne] ; Peter Schneider-Kamp [Danemark] ; Stephan Swiderski [Allemagne] | Proving Termination by Dependency Pairs and Inductive Theorem Proving |
| 002673 | Yves Rangoni [France] ; Abdel Belaïd [France] ; Szilárd Vajda [Allemagne, États-Unis] | Labelling logical structures of document images using a dynamic perceptive neural network |
| 003030 | Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche] | SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs |
| 003080 | Thorsten Kleinjung [Suisse] ; Kazumaro Aoki [Japon] ; Jens Franke [Allemagne] ; Arjen K. Lenstra [Suisse] ; Emmanuel Thomé [France] ; Joppe W. Bos [Suisse] ; Pierrick Gaudry [France] ; Alexander Kruppa [France] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Dag Arne Osvik [Suisse] ; Herman Te Riele [Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Paul Zimmermann [France] | Factorization of a 768-Bit RSA Modulus |
| 003126 | Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse] | A heterogeneous computing environment to solve the 768-bit RSA challenge |
| 003883 | Wolfgang Thomas [Allemagne] | The Reachability Problem over Infinite Graphs |
| 003886 | Christian Schmitt [Allemagne] | The French Language and Questions of Identity, Edited by Wendy Ayres-Bennett and Mari C. Jones |
| 006A45 | Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon, Allemagne] | Transformation techniques for context-sensitive rewrite systems |
| 006B88 | René Thiemann [Allemagne] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Allemagne] | Improved Modular Termination Proofs Using Dependency Pairs |
| 008748 | Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne] | SCIL — Symbolic Constraints in Integer Linear Programming |
| 008762 | Volker Gruhn [Allemagne] | Process-Centered Software Engineering Environments, A Brief History and Future Challenges |
| 009309 | Volker Gruhn [Allemagne] ; Ursula Wellen [Allemagne] | Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models |
| 00A903 | Stephan Kepser [Allemagne] ; Jörn Richts [Allemagne] | UniMoK: A System for Combining Equational Unification Algorithms |
| 00AA15 | Franz Baader [Allemagne] ; Cesare Tinelli [États-Unis] | Deciding the Word Problem in the Union of Equational Theories Sharing Constructors |
| 00B332 | Wolfgang Deiters [Allemagne] ; Volker Gruhn [Allemagne] | Process Management in Practice Applying the FUNSOFT Net Approach to Large-Scale Processes |
| 00BC86 | Klaus Pohl [Allemagne] ; Klaus Weidenhaupt [Allemagne] | A contextual approach for process-integrated tools |
| 00CD64 | Wilfried Buchholz [Allemagne] ; Adam Cichon [France] ; Andreas Weiermann [Allemagne] | A Uniform Approach to Fundamental Sequences and Hierarchies |
| 00D211 | Alfred Bröckers [Allemagne] ; Volker Gruhn [Allemagne] | Computer-aided verification of software process model properties |
| 00D634 | Wolfgang Emmerich [Allemagne] ; Wilhelm Sch Fer [Allemagne] ; Jim Welsh [Australie] | Suitable databases for process-centred environments do not yet exist |
| 00D641 | Wilhelm Sch Fer [Allemagne] | Session introduction |
| 00D644 | Gernot Starke [Allemagne] ; Michael Von Der Beeck [Allemagne] | SA/CM/IM for process modelling |
| 00DE40 | Mario Castellucci [Allemagne] ; Peter Kaufmann [Allemagne] ; Paul Bischof [Suisse] | Extracellular matrix influences hormone and protein production by human chorionic villi |
| 00E038 | Wolfgang Deiters [Allemagne] ; Volker Gruhn [Allemagne] ; Wilhelm Sch Fer [Allemagne] | Systematic development of formal software process models |
| 00E046 | Harald Ganzinger [Allemagne] | Order-sorted completion: The many-sorted way |
| 00E366 | Harald Ganzinger [Allemagne] | Completion with history-dependent complexities for generated equations |
| 00E370 | Hubert Bertling [Allemagne] ; Harald Ganzinger [Allemagne] ; Renate Sch Fers [Allemagne] | CEC: A system for the completion of conditional equational specifications |
| 00E614 | Harald Ganzinger [Allemagne] | Ground term confluence in parametric conditional equational specifications |
| This area was generated with Dilib version V0.6.33. |  |